/* 
 * File:   main.cpp
 * Author: mervin
 *
 * Created on June 26, 2012, 3:57 PM
 */

#include <cstdlib>
#include <iostream>

#include "Execution.h"

using namespace std;

/*
 * 
 */
int main(int argc, char** argv) {
    
    Execution* execution = new Execution;
    
    while(1)
    execution->mainthread();

    return 0;

}

